<HTML>
<BODY BGCOLOR="white">
<PRE>
<FONT color="green">001</FONT>    package project3;<a name="line.1"></a>
<FONT color="green">002</FONT>    <a name="line.2"></a>
<FONT color="green">003</FONT>    import java.util.ArrayList;<a name="line.3"></a>
<FONT color="green">004</FONT>    import java.util.HashMap;<a name="line.4"></a>
<FONT color="green">005</FONT>    import java.util.Iterator;<a name="line.5"></a>
<FONT color="green">006</FONT>    <a name="line.6"></a>
<FONT color="green">007</FONT>    import project3.lex.Argument;<a name="line.7"></a>
<FONT color="green">008</FONT>    import project3.lex.Constant;<a name="line.8"></a>
<FONT color="green">009</FONT>    import project3.lex.Identifier;<a name="line.9"></a>
<FONT color="green">010</FONT>    import project3.lex.Lex;<a name="line.10"></a>
<FONT color="green">011</FONT>    import project3.lex.Token;<a name="line.11"></a>
<FONT color="green">012</FONT>    <a name="line.12"></a>
<FONT color="green">013</FONT>    import project3.three.*;<a name="line.13"></a>
<FONT color="green">014</FONT>    <a name="line.14"></a>
<FONT color="green">015</FONT>    /**<a name="line.15"></a>
<FONT color="green">016</FONT>     * A list of &lt;b&gt;Predicate&lt;/b&gt;s.<a name="line.16"></a>
<FONT color="green">017</FONT>     * <a name="line.17"></a>
<FONT color="green">018</FONT>     * &lt;p&gt;<a name="line.18"></a>
<FONT color="green">019</FONT>     * Syntax: &lt;b&gt;PredicateList&lt;/b&gt; -&amp;rarr;&lt;br&gt;<a name="line.19"></a>
<FONT color="green">020</FONT>     *             &lt;b&gt;Predicate&lt;/b&gt; ["," &lt;b&gt;Predicate&lt;/b&gt; ]*<a name="line.20"></a>
<FONT color="green">021</FONT>     *<a name="line.21"></a>
<FONT color="green">022</FONT>     * &lt;p&gt;<a name="line.22"></a>
<FONT color="green">023</FONT>     * There are four properties that we need to define for a<a name="line.23"></a>
<FONT color="green">024</FONT>     * &lt;b&gt;PredicateList&lt;/b&gt;:<a name="line.24"></a>
<FONT color="green">025</FONT>     *<a name="line.25"></a>
<FONT color="green">026</FONT>     * &lt;ol&gt;<a name="line.26"></a>
<FONT color="green">027</FONT>     *    &lt;li&gt;<a name="line.27"></a>
<FONT color="green">028</FONT>     *    A &lt;b&gt;PredicateList&lt;/b&gt; contains a list of &lt;b&gt;Predicate&lt;/b&gt;.<a name="line.28"></a>
<FONT color="green">029</FONT>     *    It is implemented as an &lt;b&gt;ArrayList&lt;Node&gt;&lt;/b&gt;.  We enforce the fact that<a name="line.29"></a>
<FONT color="green">030</FONT>     *    it is a list of &lt;b&gt;Predicate&lt;/b&gt; by only creating elements for the<a name="line.30"></a>
<FONT color="green">031</FONT>     *    list using the &lt;i&gt;createNode(Lex)&lt;/i&gt; method.  The &lt;i&gt;createNode(Lex)&lt;/i&gt;<a name="line.31"></a>
<FONT color="green">032</FONT>     *    method below creates only &lt;b&gt;Predicate&lt;/b&gt;s. A &lt;b&gt;Predicate&lt;/b&gt; is an<a name="line.32"></a>
<FONT color="green">033</FONT>     *    instance of type &lt;b&gt;Node&lt;/b&gt; so it can be added to an ArrayList&lt;Node&gt;.<a name="line.33"></a>
<FONT color="green">034</FONT>     *    &lt;/li&gt;<a name="line.34"></a>
<FONT color="green">035</FONT>     *<a name="line.35"></a>
<FONT color="green">036</FONT>     *    &lt;li&gt;<a name="line.36"></a>
<FONT color="green">037</FONT>     *    To determine whether to parse another &lt;b&gt;Predicate&lt;/b&gt; and add it<a name="line.37"></a>
<FONT color="green">038</FONT>     *    to the list we need to know whether lex.front() is in the first of<a name="line.38"></a>
<FONT color="green">039</FONT>     *    &lt;b&gt;Predicate&lt;/b&gt;.  This is implemented by the method<a name="line.39"></a>
<FONT color="green">040</FONT>     *    &lt;i&gt;isInFirstOfListElement(Lex)&lt;/i&gt;.  The first of &lt;b&gt;Predicate&lt;/b&gt;<a name="line.40"></a>
<FONT color="green">041</FONT>     *    is {&lt;i&gt;Identifier&lt;/i&gt;}.  This is the default value and is defined in<a name="line.41"></a>
<FONT color="green">042</FONT>     *    the &lt;i&gt;List::isInFirstOfListElement(Lex)&lt;/i&gt;.   Thus, we do NOT override<a name="line.42"></a>
<FONT color="green">043</FONT>     *    it here.<a name="line.43"></a>
<FONT color="green">044</FONT>     *    &lt;/li&gt;<a name="line.44"></a>
<FONT color="green">045</FONT>     * <a name="line.45"></a>
<FONT color="green">046</FONT>     *    &lt;li&gt;<a name="line.46"></a>
<FONT color="green">047</FONT>     *    A &lt;b&gt;PredicateList&lt;/b&gt; is a list of one-or-more elements.  This is<a name="line.47"></a>
<FONT color="green">048</FONT>     *    the default value of a list and defined in<a name="line.48"></a>
<FONT color="green">049</FONT>     *    &lt;i&gt;List::getLengthConstraint()&lt;/i&gt;. We do NOT override it here.<a name="line.49"></a>
<FONT color="green">050</FONT>     *    &lt;/li&gt;<a name="line.50"></a>
<FONT color="green">051</FONT>     * <a name="line.51"></a>
<FONT color="green">052</FONT>     *    &lt;li&gt;<a name="line.52"></a>
<FONT color="green">053</FONT>     *    The elements of a &lt;b&gt;PredicateList&lt;/b&gt; are separated by commas.<a name="line.53"></a>
<FONT color="green">054</FONT>     *    This is defined in &lt;i&gt;getSeparator()&lt;/i&gt; below.<a name="line.54"></a>
<FONT color="green">055</FONT>     *    &lt;/li&gt;<a name="line.55"></a>
<FONT color="green">056</FONT>     * &lt;/ol&gt;<a name="line.56"></a>
<FONT color="green">057</FONT>     *<a name="line.57"></a>
<FONT color="green">058</FONT>     * &lt;pre&gt;<a name="line.58"></a>
<FONT color="green">059</FONT>     * Domain Definition<a name="line.59"></a>
<FONT color="green">060</FONT>     *     predicateList       : Sequence&amp;lt;&lt;b&gt;Predicate&lt;/b&gt;&amp;gt;<a name="line.60"></a>
<FONT color="green">061</FONT>     *     variableInformation : VariableInformation <a name="line.61"></a>
<FONT color="green">062</FONT>     *<a name="line.62"></a>
<FONT color="green">063</FONT>     * Instance Invariant:<a name="line.63"></a>
<FONT color="green">064</FONT>     *     |predicateList| &amp;gt; 0 AND<a name="line.64"></a>
<FONT color="green">065</FONT>     *     variableInformation &amp;ne; null<a name="line.65"></a>
<FONT color="green">066</FONT>     * &lt;/pre&gt;<a name="line.66"></a>
<FONT color="green">067</FONT>     *<a name="line.67"></a>
<FONT color="green">068</FONT>     * Last Modified: 21 Feb 2006<a name="line.68"></a>
<FONT color="green">069</FONT>     *<a name="line.69"></a>
<FONT color="green">070</FONT>     * @author Scott N. Woodfield<a name="line.70"></a>
<FONT color="green">071</FONT>     * @version 1.0<a name="line.71"></a>
<FONT color="green">072</FONT>     * @see<a name="line.72"></a>
<FONT color="green">073</FONT>     *   &lt;a href=<a name="line.73"></a>
<FONT color="green">074</FONT>     *      "../srchtml/project3/PredicateList.html"<a name="line.74"></a>
<FONT color="green">075</FONT>     *      &gt;Source Code<a name="line.75"></a>
<FONT color="green">076</FONT>     *   &lt;/a&gt;<a name="line.76"></a>
<FONT color="green">077</FONT>     */<a name="line.77"></a>
<FONT color="green">078</FONT>    public class PredicateList<a name="line.78"></a>
<FONT color="green">079</FONT>        extends List<a name="line.79"></a>
<FONT color="green">080</FONT>    {<a name="line.80"></a>
<FONT color="green">081</FONT>    <a name="line.81"></a>
<FONT color="green">082</FONT>        /**<a name="line.82"></a>
<FONT color="green">083</FONT>         * Recursively computes every combination of consants for the variables in<a name="line.83"></a>
<FONT color="green">084</FONT>         * the predicate list and checks to see if any combination makes all of<a name="line.84"></a>
<FONT color="green">085</FONT>         * the predicates in the predicate list true.  A combination of constants<a name="line.85"></a>
<FONT color="green">086</FONT>         * that makes evey &lt;b&gt;Predicate&lt;/b&gt; in the &lt;b&gt;PredicateList&lt;/b&gt; true is<a name="line.86"></a>
<FONT color="green">087</FONT>         * called a solution.<a name="line.87"></a>
<FONT color="green">088</FONT>         *<a name="line.88"></a>
<FONT color="green">089</FONT>         * &lt;p&gt;<a name="line.89"></a>
<FONT color="green">090</FONT>         * &lt;table&gt;<a name="line.90"></a>
<FONT color="green">091</FONT>         *   &lt;tr&gt;<a name="line.91"></a>
<FONT color="green">092</FONT>         *     &lt;td valign=top&gt;<a name="line.92"></a>
<FONT color="green">093</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.93"></a>
<FONT color="green">094</FONT>         *     &lt;/td&gt;<a name="line.94"></a>
<FONT color="green">095</FONT>         *     &lt;td valign=top&gt;<a name="line.95"></a>
<FONT color="green">096</FONT>         *       none<a name="line.96"></a>
<FONT color="green">097</FONT>         *     &lt;/td&gt;<a name="line.97"></a>
<FONT color="green">098</FONT>         *     &lt;td valign=top&gt;<a name="line.98"></a>
<FONT color="green">099</FONT>         *     &lt;/td&gt;<a name="line.99"></a>
<FONT color="green">100</FONT>         *   &lt;/tr&gt;<a name="line.100"></a>
<FONT color="green">101</FONT>         *   &lt;tr&gt;<a name="line.101"></a>
<FONT color="green">102</FONT>         *     &lt;td valign=top&gt;<a name="line.102"></a>
<FONT color="green">103</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.103"></a>
<FONT color="green">104</FONT>         *     &lt;/td&gt;<a name="line.104"></a>
<FONT color="green">105</FONT>         *     &lt;td valign=top&gt;<a name="line.105"></a>
<FONT color="green">106</FONT>         *       result =<a name="line.106"></a>
<FONT color="green">107</FONT>         *       There exists a combination of constant substitutions, &lt;i&gt;S&lt;/i&gt;,<a name="line.107"></a>
<FONT color="green">108</FONT>         *       for the variables in &lt;i&gt;variables&lt;/i&gt;[i..|&lt;i&gt;variables&lt;/i&gt;-1],<a name="line.108"></a>
<FONT color="green">109</FONT>         *       such that every predicate in the predicate list is true.<a name="line.109"></a>
<FONT color="green">110</FONT>         *     &lt;/td&gt;<a name="line.110"></a>
<FONT color="green">111</FONT>         *     &lt;td valign=top&gt;<a name="line.111"></a>
<FONT color="green">112</FONT>         *     &lt;/td&gt;<a name="line.112"></a>
<FONT color="green">113</FONT>         *   &lt;/tr&gt;<a name="line.113"></a>
<FONT color="green">114</FONT>         * &lt;/table&gt;<a name="line.114"></a>
<FONT color="green">115</FONT>         *<a name="line.115"></a>
<FONT color="green">116</FONT>         * @throws ParserException<a name="line.116"></a>
<FONT color="green">117</FONT>         *<a name="line.117"></a>
<FONT color="green">118</FONT>         * @param i the ith variable for which we need to substitute constants<a name="line.118"></a>
<FONT color="green">119</FONT>         *            from the domain.<a name="line.119"></a>
<FONT color="green">120</FONT>         *<a name="line.120"></a>
<FONT color="green">121</FONT>         * @return true iff we found a solution.<a name="line.121"></a>
<FONT color="green">122</FONT>         * @see<a name="line.122"></a>
<FONT color="green">123</FONT>         *   &lt;a href=<a name="line.123"></a>
<FONT color="green">124</FONT>         *      "../srchtml/project3/PredicateList.html#createAllCombinations"<a name="line.124"></a>
<FONT color="green">125</FONT>         *      &gt;Source Code<a name="line.125"></a>
<FONT color="green">126</FONT>         *   &lt;/a&gt;<a name="line.126"></a>
<FONT color="green">127</FONT>         */<a name="line.127"></a>
<FONT color="green">128</FONT>        protected boolean createAllCombinations(int i)<a name="line.128"></a>
<FONT color="green">129</FONT>            throws ParserException<a name="line.129"></a>
<FONT color="green">130</FONT>        {<a name="line.130"></a>
<FONT color="green">131</FONT>    System.out.println("Implement PredicateList.createAllCombinations");<a name="line.131"></a>
<FONT color="green">132</FONT>                    return true;<a name="line.132"></a>
<FONT color="green">133</FONT>        }<a name="line.133"></a>
<FONT color="green">134</FONT>    <a name="line.134"></a>
<FONT color="green">135</FONT>        /**<a name="line.135"></a>
<FONT color="green">136</FONT>         *  Checks to see if we can prove whether this predicate list is true or<a name="line.136"></a>
<FONT color="green">137</FONT>         *  not.<a name="line.137"></a>
<FONT color="green">138</FONT>         *<a name="line.138"></a>
<FONT color="green">139</FONT>         * &lt;p&gt;<a name="line.139"></a>
<FONT color="green">140</FONT>         * &lt;table&gt;<a name="line.140"></a>
<FONT color="green">141</FONT>         *   &lt;tr&gt;<a name="line.141"></a>
<FONT color="green">142</FONT>         *     &lt;td valign=top&gt;<a name="line.142"></a>
<FONT color="green">143</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.143"></a>
<FONT color="green">144</FONT>         *     &lt;/td&gt;<a name="line.144"></a>
<FONT color="green">145</FONT>         *     &lt;td valign=top&gt;<a name="line.145"></a>
<FONT color="green">146</FONT>         *       allConstants()<a name="line.146"></a>
<FONT color="green">147</FONT>         *     &lt;/td&gt;<a name="line.147"></a>
<FONT color="green">148</FONT>         *     &lt;td valign=top&gt;<a name="line.148"></a>
<FONT color="green">149</FONT>         *     &lt;/td&gt;<a name="line.149"></a>
<FONT color="green">150</FONT>         *   &lt;/tr&gt;<a name="line.150"></a>
<FONT color="green">151</FONT>         *   &lt;tr&gt;<a name="line.151"></a>
<FONT color="green">152</FONT>         *     &lt;td valign=top&gt;<a name="line.152"></a>
<FONT color="green">153</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.153"></a>
<FONT color="green">154</FONT>         *     &lt;/td&gt;<a name="line.154"></a>
<FONT color="green">155</FONT>         *     &lt;td valign=top&gt;<a name="line.155"></a>
<FONT color="green">156</FONT>         *        result &amp;rArr;<a name="line.156"></a>
<FONT color="green">157</FONT>         *          for every &lt;b&gt;Predicate&lt;/b&gt; in this predicate list<a name="line.157"></a>
<FONT color="green">158</FONT>         *            there exists a &lt;b&gt;Fact&lt;/b&gt; or &lt;b&gt;Rule&lt;/b&gt; that can<a name="line.158"></a>
<FONT color="green">159</FONT>         *            prove this true.<a name="line.159"></a>
<FONT color="green">160</FONT>         *     &lt;/td&gt;<a name="line.160"></a>
<FONT color="green">161</FONT>         *     &lt;td valign=top&gt;<a name="line.161"></a>
<FONT color="green">162</FONT>         *       AND<a name="line.162"></a>
<FONT color="green">163</FONT>         *     &lt;/td&gt;<a name="line.163"></a>
<FONT color="green">164</FONT>         *   &lt;/tr&gt;<a name="line.164"></a>
<FONT color="green">165</FONT>         *   &lt;tr&gt;<a name="line.165"></a>
<FONT color="green">166</FONT>         *     &lt;td valign=top&gt;<a name="line.166"></a>
<FONT color="green">167</FONT>         *       &amp;nbsp;<a name="line.167"></a>
<FONT color="green">168</FONT>         *     &lt;/td&gt;<a name="line.168"></a>
<FONT color="green">169</FONT>         *     &lt;td valign=top&gt;<a name="line.169"></a>
<FONT color="green">170</FONT>         *       &amp;not; result &amp;rArr;<a name="line.170"></a>
<FONT color="green">171</FONT>         *        there exits a  &lt;b&gt;Predicate&lt;/b&gt; in this predicate list<a name="line.171"></a>
<FONT color="green">172</FONT>         *            such that no &lt;b&gt;Fact&lt;/b&gt; or &lt;b&gt;Rule&lt;/b&gt; can prove it true.<a name="line.172"></a>
<FONT color="green">173</FONT>         *     &lt;/td&gt;<a name="line.173"></a>
<FONT color="green">174</FONT>         *     &lt;td valign=top&gt;<a name="line.174"></a>
<FONT color="green">175</FONT>         *     &lt;/td&gt;<a name="line.175"></a>
<FONT color="green">176</FONT>         *   &lt;/tr&gt;<a name="line.176"></a>
<FONT color="green">177</FONT>         * &lt;/table&gt;<a name="line.177"></a>
<FONT color="green">178</FONT>         *<a name="line.178"></a>
<FONT color="green">179</FONT>         * @throws ParserException<a name="line.179"></a>
<FONT color="green">180</FONT>         *<a name="line.180"></a>
<FONT color="green">181</FONT>         * @return true iff every &lt;b&gt;Predicate&lt;/b&gt; in this &lt;b&gt;PredicateList&lt;/b&gt;<a name="line.181"></a>
<FONT color="green">182</FONT>         *              can be shown to be true for for the substitutions we have<a name="line.182"></a>
<FONT color="green">183</FONT>         *              made.<a name="line.183"></a>
<FONT color="green">184</FONT>         * @see<a name="line.184"></a>
<FONT color="green">185</FONT>         *   &lt;a href=<a name="line.185"></a>
<FONT color="green">186</FONT>         *      "../srchtml/project3/PredicateList.html#checkToSeeIfTrue"<a name="line.186"></a>
<FONT color="green">187</FONT>         *      &gt;Source Code<a name="line.187"></a>
<FONT color="green">188</FONT>         *   &lt;/a&gt;<a name="line.188"></a>
<FONT color="green">189</FONT>         */<a name="line.189"></a>
<FONT color="green">190</FONT>      <a name="line.190"></a>
<FONT color="green">191</FONT>        protected boolean checkToSeeIfTrue()<a name="line.191"></a>
<FONT color="green">192</FONT>            throws ParserException<a name="line.192"></a>
<FONT color="green">193</FONT>        {<a name="line.193"></a>
<FONT color="green">194</FONT>    System.out.println("Implement PredicateList.checkToSeeIfTrue");<a name="line.194"></a>
<FONT color="green">195</FONT>                    return true;<a name="line.195"></a>
<FONT color="green">196</FONT>        }<a name="line.196"></a>
<FONT color="green">197</FONT>    <a name="line.197"></a>
<FONT color="green">198</FONT>    <a name="line.198"></a>
<FONT color="green">199</FONT>    <a name="line.199"></a>
<FONT color="green">200</FONT>    ////////////////////////////////////////////////////////////////////////////////////////<a name="line.200"></a>
<FONT color="green">201</FONT>    // THE REST OF THE CLASS IS DOWN HERE.<a name="line.201"></a>
<FONT color="green">202</FONT>    // YOU'LL NEED TO READ ABOUT THE CLASS VARIABLES AND METHODS.<a name="line.202"></a>
<FONT color="green">203</FONT>    // GOTO THE PROJECT3-API TO READ SOMETHING MORE CLEAR.<a name="line.203"></a>
<FONT color="green">204</FONT>    ////////////////////////////////////////////////////////////////////////////////////////<a name="line.204"></a>
<FONT color="green">205</FONT>    <a name="line.205"></a>
<FONT color="green">206</FONT>    <a name="line.206"></a>
<FONT color="green">207</FONT>    <a name="line.207"></a>
<FONT color="green">208</FONT>    //Domain Implementation<a name="line.208"></a>
<FONT color="green">209</FONT>    //  ArrayList&lt;Node&gt; nodes; -- implements Sequence&lt;Predicate&gt;<a name="line.209"></a>
<FONT color="green">210</FONT>    //                         -- inherited from List through DatalogSegment.<a name="line.210"></a>
<FONT color="green">211</FONT>        /**<a name="line.211"></a>
<FONT color="green">212</FONT>         * For every unique variable in the predicate list, this records the<a name="line.212"></a>
<FONT color="green">213</FONT>         * location or locations for that variable.<a name="line.213"></a>
<FONT color="green">214</FONT>         * @see<a name="line.214"></a>
<FONT color="green">215</FONT>         *   &lt;a href=<a name="line.215"></a>
<FONT color="green">216</FONT>         *      "../srchtml/project3/PredicateList.html#variableInformation"<a name="line.216"></a>
<FONT color="green">217</FONT>         *      &gt;Source Code<a name="line.217"></a>
<FONT color="green">218</FONT>         *   &lt;/a&gt;<a name="line.218"></a>
<FONT color="green">219</FONT>         */<a name="line.219"></a>
<FONT color="green">220</FONT>        protected VariableInformation variableInformation = null;<a name="line.220"></a>
<FONT color="green">221</FONT>    <a name="line.221"></a>
<FONT color="green">222</FONT>    //Constructors<a name="line.222"></a>
<FONT color="green">223</FONT>        /**<a name="line.223"></a>
<FONT color="green">224</FONT>         * The default constructor.<a name="line.224"></a>
<FONT color="green">225</FONT>         *<a name="line.225"></a>
<FONT color="green">226</FONT>         * &lt;p&gt;<a name="line.226"></a>
<FONT color="green">227</FONT>         * &lt;table&gt;<a name="line.227"></a>
<FONT color="green">228</FONT>         *   &lt;tr&gt;<a name="line.228"></a>
<FONT color="green">229</FONT>         *     &lt;td valign=top&gt;<a name="line.229"></a>
<FONT color="green">230</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.230"></a>
<FONT color="green">231</FONT>         *     &lt;/td&gt;<a name="line.231"></a>
<FONT color="green">232</FONT>         *     &lt;td valign=top&gt;<a name="line.232"></a>
<FONT color="green">233</FONT>         *       List::List().Precondition<a name="line.233"></a>
<FONT color="green">234</FONT>         *     &lt;/td&gt;<a name="line.234"></a>
<FONT color="green">235</FONT>         *     &lt;td valign=top&gt;<a name="line.235"></a>
<FONT color="green">236</FONT>         *     &lt;/td&gt;<a name="line.236"></a>
<FONT color="green">237</FONT>         *   &lt;/tr&gt;<a name="line.237"></a>
<FONT color="green">238</FONT>         *   &lt;tr&gt;<a name="line.238"></a>
<FONT color="green">239</FONT>         *     &lt;td valign=top&gt;<a name="line.239"></a>
<FONT color="green">240</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.240"></a>
<FONT color="green">241</FONT>         *     &lt;/td&gt;<a name="line.241"></a>
<FONT color="green">242</FONT>         *     &lt;td valign=top&gt;<a name="line.242"></a>
<FONT color="green">243</FONT>         *       List::List().Postcondition<a name="line.243"></a>
<FONT color="green">244</FONT>         *     &lt;/td&gt;<a name="line.244"></a>
<FONT color="green">245</FONT>         *     &lt;td valign=top&gt;<a name="line.245"></a>
<FONT color="green">246</FONT>         *     &lt;/td&gt;<a name="line.246"></a>
<FONT color="green">247</FONT>         *   &lt;/tr&gt;<a name="line.247"></a>
<FONT color="green">248</FONT>         * &lt;/table&gt;<a name="line.248"></a>
<FONT color="green">249</FONT>         * @see<a name="line.249"></a>
<FONT color="green">250</FONT>         *   &lt;a href=<a name="line.250"></a>
<FONT color="green">251</FONT>         *      "../srchtml/project3/PredicateList.html#DefaultConstructor"<a name="line.251"></a>
<FONT color="green">252</FONT>         *      &gt;Source Code<a name="line.252"></a>
<FONT color="green">253</FONT>         *   &lt;/a&gt;<a name="line.253"></a>
<FONT color="green">254</FONT>         */<a name="line.254"></a>
<FONT color="green">255</FONT>        public PredicateList()<a name="line.255"></a>
<FONT color="green">256</FONT>        {<a name="line.256"></a>
<FONT color="green">257</FONT>            super();<a name="line.257"></a>
<FONT color="green">258</FONT>        }<a name="line.258"></a>
<FONT color="green">259</FONT>       <a name="line.259"></a>
<FONT color="green">260</FONT>        /**<a name="line.260"></a>
<FONT color="green">261</FONT>         * Creates a &lt;b&gt;PredicateList&lt;/b&gt; from the tokens at the front of lex.<a name="line.261"></a>
<FONT color="green">262</FONT>         *<a name="line.262"></a>
<FONT color="green">263</FONT>         * &lt;p&gt;<a name="line.263"></a>
<FONT color="green">264</FONT>         * &lt;table&gt;<a name="line.264"></a>
<FONT color="green">265</FONT>         *   &lt;tr&gt;<a name="line.265"></a>
<FONT color="green">266</FONT>         *     &lt;td valign=top&gt;<a name="line.266"></a>
<FONT color="green">267</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.267"></a>
<FONT color="green">268</FONT>         *     &lt;/td&gt;<a name="line.268"></a>
<FONT color="green">269</FONT>         *     &lt;td valign=top&gt;<a name="line.269"></a>
<FONT color="green">270</FONT>         *       lex &amp;ne; null <a name="line.270"></a>
<FONT color="green">271</FONT>         *     &lt;/td&gt;<a name="line.271"></a>
<FONT color="green">272</FONT>         *     &lt;td valign=top&gt;<a name="line.272"></a>
<FONT color="green">273</FONT>         *       AND<a name="line.273"></a>
<FONT color="green">274</FONT>         *     &lt;/td&gt;<a name="line.274"></a>
<FONT color="green">275</FONT>         *   &lt;/tr&gt;<a name="line.275"></a>
<FONT color="green">276</FONT>         *   &lt;tr&gt;<a name="line.276"></a>
<FONT color="green">277</FONT>         *     &lt;td valign=top&gt;<a name="line.277"></a>
<FONT color="green">278</FONT>         *       &amp;nbsp;<a name="line.278"></a>
<FONT color="green">279</FONT>         *     &lt;/td&gt;<a name="line.279"></a>
<FONT color="green">280</FONT>         *     &lt;td valign=top&gt;<a name="line.280"></a>
<FONT color="green">281</FONT>         *       &amp;exist;&lt;sub&gt;i&lt;/sub&gt; (ValidPredicateList(lex[0..i]) <a name="line.281"></a>
<FONT color="green">282</FONT>         *     &lt;/td&gt;<a name="line.282"></a>
<FONT color="green">283</FONT>         *     &lt;td valign=top&gt;<a name="line.283"></a>
<FONT color="green">284</FONT>         *     &lt;/td&gt;<a name="line.284"></a>
<FONT color="green">285</FONT>         *   &lt;/tr&gt;<a name="line.285"></a>
<FONT color="green">286</FONT>         *   &lt;tr&gt;<a name="line.286"></a>
<FONT color="green">287</FONT>         *     &lt;td valign=top&gt;<a name="line.287"></a>
<FONT color="green">288</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.288"></a>
<FONT color="green">289</FONT>         *     &lt;/td&gt;<a name="line.289"></a>
<FONT color="green">290</FONT>         *     &lt;td valign=top&gt;<a name="line.290"></a>
<FONT color="green">291</FONT>         *       super.PostCondition()<a name="line.291"></a>
<FONT color="green">292</FONT>         *     &lt;/td&gt;<a name="line.292"></a>
<FONT color="green">293</FONT>         *     &lt;td valign=top&gt;<a name="line.293"></a>
<FONT color="green">294</FONT>         *       AND<a name="line.294"></a>
<FONT color="green">295</FONT>         *     &lt;/td&gt;<a name="line.295"></a>
<FONT color="green">296</FONT>         *   &lt;/tr&gt;<a name="line.296"></a>
<FONT color="green">297</FONT>         *   &lt;tr&gt;<a name="line.297"></a>
<FONT color="green">298</FONT>         *     &lt;td valign=top&gt;<a name="line.298"></a>
<FONT color="green">299</FONT>         *       &amp;nbsp;<a name="line.299"></a>
<FONT color="green">300</FONT>         *     &lt;/td&gt;<a name="line.300"></a>
<FONT color="green">301</FONT>         *     &lt;td valign=top&gt;<a name="line.301"></a>
<FONT color="green">302</FONT>         *       initializeVariableInformation.Postcondition<a name="line.302"></a>
<FONT color="green">303</FONT>         *     &lt;/td&gt;<a name="line.303"></a>
<FONT color="green">304</FONT>         *     &lt;td valign=top&gt;<a name="line.304"></a>
<FONT color="green">305</FONT>         *     &lt;/td&gt;<a name="line.305"></a>
<FONT color="green">306</FONT>         *   &lt;/tr&gt;<a name="line.306"></a>
<FONT color="green">307</FONT>         * &lt;/table&gt;<a name="line.307"></a>
<FONT color="green">308</FONT>         *<a name="line.308"></a>
<FONT color="green">309</FONT>         * @throws ParserException<a name="line.309"></a>
<FONT color="green">310</FONT>         *<a name="line.310"></a>
<FONT color="green">311</FONT>         * @param lex the lexical analyzer we will create the &lt;b&gt;PredicateList&lt;/b&gt;<a name="line.311"></a>
<FONT color="green">312</FONT>         *        from.<a name="line.312"></a>
<FONT color="green">313</FONT>         * @see<a name="line.313"></a>
<FONT color="green">314</FONT>         *   &lt;a href=<a name="line.314"></a>
<FONT color="green">315</FONT>         *      "../srchtml/project3/PredicateList.html#LexConstructor"<a name="line.315"></a>
<FONT color="green">316</FONT>         *      &gt;Source Code<a name="line.316"></a>
<FONT color="green">317</FONT>         *   &lt;/a&gt;<a name="line.317"></a>
<FONT color="green">318</FONT>         */<a name="line.318"></a>
<FONT color="green">319</FONT>        public PredicateList(Lex lex)<a name="line.319"></a>
<FONT color="green">320</FONT>            throws ParserException<a name="line.320"></a>
<FONT color="green">321</FONT>        {<a name="line.321"></a>
<FONT color="green">322</FONT>            createList(lex);<a name="line.322"></a>
<FONT color="green">323</FONT>            initializeVariableInformation();<a name="line.323"></a>
<FONT color="green">324</FONT>        }<a name="line.324"></a>
<FONT color="green">325</FONT>    <a name="line.325"></a>
<FONT color="green">326</FONT>        /**<a name="line.326"></a>
<FONT color="green">327</FONT>         * Copy constructor.<a name="line.327"></a>
<FONT color="green">328</FONT>         *<a name="line.328"></a>
<FONT color="green">329</FONT>         * &lt;p&gt;<a name="line.329"></a>
<FONT color="green">330</FONT>         * &lt;table&gt;<a name="line.330"></a>
<FONT color="green">331</FONT>         *   &lt;tr&gt;<a name="line.331"></a>
<FONT color="green">332</FONT>         *     &lt;td valign=top&gt;<a name="line.332"></a>
<FONT color="green">333</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.333"></a>
<FONT color="green">334</FONT>         *     &lt;/td&gt;<a name="line.334"></a>
<FONT color="green">335</FONT>         *     &lt;td valign=top&gt;<a name="line.335"></a>
<FONT color="green">336</FONT>         *       predicateList &amp;ne; null<a name="line.336"></a>
<FONT color="green">337</FONT>         *     &lt;/td&gt;<a name="line.337"></a>
<FONT color="green">338</FONT>         *     &lt;td valign=top&gt;<a name="line.338"></a>
<FONT color="green">339</FONT>         *     &lt;/td&gt;<a name="line.339"></a>
<FONT color="green">340</FONT>         *   &lt;/tr&gt;<a name="line.340"></a>
<FONT color="green">341</FONT>         *   &lt;tr&gt;<a name="line.341"></a>
<FONT color="green">342</FONT>         *     &lt;td valign=top&gt;<a name="line.342"></a>
<FONT color="green">343</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.343"></a>
<FONT color="green">344</FONT>         *     &lt;/td&gt;<a name="line.344"></a>
<FONT color="green">345</FONT>         *     &lt;td valign=top&gt;<a name="line.345"></a>
<FONT color="green">346</FONT>         *       result.equals(predicateList) <a name="line.346"></a>
<FONT color="green">347</FONT>         *     &lt;/td&gt;<a name="line.347"></a>
<FONT color="green">348</FONT>         *     &lt;td valign=top&gt;<a name="line.348"></a>
<FONT color="green">349</FONT>         *       AND<a name="line.349"></a>
<FONT color="green">350</FONT>         *     &lt;/td&gt;<a name="line.350"></a>
<FONT color="green">351</FONT>         *   &lt;/tr&gt;<a name="line.351"></a>
<FONT color="green">352</FONT>         *   &lt;tr&gt;<a name="line.352"></a>
<FONT color="green">353</FONT>         *     &lt;td valign=top&gt;<a name="line.353"></a>
<FONT color="green">354</FONT>         *       &amp;nbsp;<a name="line.354"></a>
<FONT color="green">355</FONT>         *     &lt;/td&gt;<a name="line.355"></a>
<FONT color="green">356</FONT>         *     &lt;td valign=top&gt;<a name="line.356"></a>
<FONT color="green">357</FONT>         *       result &amp;ne; predicateList<a name="line.357"></a>
<FONT color="green">358</FONT>         *     &lt;/td&gt;<a name="line.358"></a>
<FONT color="green">359</FONT>         *     &lt;td valign=top&gt;<a name="line.359"></a>
<FONT color="green">360</FONT>         *     &lt;/td&gt;<a name="line.360"></a>
<FONT color="green">361</FONT>         *   &lt;/tr&gt;<a name="line.361"></a>
<FONT color="green">362</FONT>         * &lt;/table&gt;<a name="line.362"></a>
<FONT color="green">363</FONT>         *<a name="line.363"></a>
<FONT color="green">364</FONT>         * @throws ParserException<a name="line.364"></a>
<FONT color="green">365</FONT>         *<a name="line.365"></a>
<FONT color="green">366</FONT>         * @param predicateList the &lt;b&gt;PredicateList&lt;/b&gt; we are going to<a name="line.366"></a>
<FONT color="green">367</FONT>         *                              copy.<a name="line.367"></a>
<FONT color="green">368</FONT>         * @see<a name="line.368"></a>
<FONT color="green">369</FONT>         *   &lt;a href=<a name="line.369"></a>
<FONT color="green">370</FONT>         *      "../srchtml/project3/PredicateList.html#copyConstructor"<a name="line.370"></a>
<FONT color="green">371</FONT>         *      &gt;Source Code<a name="line.371"></a>
<FONT color="green">372</FONT>         *   &lt;/a&gt;<a name="line.372"></a>
<FONT color="green">373</FONT>         */<a name="line.373"></a>
<FONT color="green">374</FONT>        public PredicateList(PredicateList predicateList)<a name="line.374"></a>
<FONT color="green">375</FONT>            throws ParserException<a name="line.375"></a>
<FONT color="green">376</FONT>        {<a name="line.376"></a>
<FONT color="green">377</FONT>            super();<a name="line.377"></a>
<FONT color="green">378</FONT>            assert predicateList != null;<a name="line.378"></a>
<FONT color="green">379</FONT>            //Need to do a deeper copy here than in the List.  We need to make<a name="line.379"></a>
<FONT color="green">380</FONT>            //Make new copies of the Predicates so that when we change them we<a name="line.380"></a>
<FONT color="green">381</FONT>            //don't change the originals.<a name="line.381"></a>
<FONT color="green">382</FONT>            Iterator&lt;Node&gt; iter = predicateList.nodes.iterator();<a name="line.382"></a>
<FONT color="green">383</FONT>            while(iter.hasNext()){<a name="line.383"></a>
<FONT color="green">384</FONT>                nodes.add(new Predicate((Predicate)iter.next()));<a name="line.384"></a>
<FONT color="green">385</FONT>            };<a name="line.385"></a>
<FONT color="green">386</FONT>            initializeVariableInformation();<a name="line.386"></a>
<FONT color="green">387</FONT>        }<a name="line.387"></a>
<FONT color="green">388</FONT>    <a name="line.388"></a>
<FONT color="green">389</FONT>    //Queries<a name="line.389"></a>
<FONT color="green">390</FONT>        /**<a name="line.390"></a>
<FONT color="green">391</FONT>         * Check to see if two PredicateLists are equal.<a name="line.391"></a>
<FONT color="green">392</FONT>         *<a name="line.392"></a>
<FONT color="green">393</FONT>         * &lt;p&gt;<a name="line.393"></a>
<FONT color="green">394</FONT>         * &lt;table&gt;<a name="line.394"></a>
<FONT color="green">395</FONT>         *   &lt;tr&gt;<a name="line.395"></a>
<FONT color="green">396</FONT>         *     &lt;td valign=top&gt;<a name="line.396"></a>
<FONT color="green">397</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.397"></a>
<FONT color="green">398</FONT>         *     &lt;/td&gt;<a name="line.398"></a>
<FONT color="green">399</FONT>         *     &lt;td valign=top&gt;<a name="line.399"></a>
<FONT color="green">400</FONT>         *       none<a name="line.400"></a>
<FONT color="green">401</FONT>         *     &lt;/td&gt;<a name="line.401"></a>
<FONT color="green">402</FONT>         *     &lt;td valign=top&gt;<a name="line.402"></a>
<FONT color="green">403</FONT>         *     &lt;/td&gt;<a name="line.403"></a>
<FONT color="green">404</FONT>         *   &lt;/tr&gt;<a name="line.404"></a>
<FONT color="green">405</FONT>         *   &lt;tr&gt;<a name="line.405"></a>
<FONT color="green">406</FONT>         *     &lt;td valign=top&gt;<a name="line.406"></a>
<FONT color="green">407</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.407"></a>
<FONT color="green">408</FONT>         *     &lt;/td&gt;<a name="line.408"></a>
<FONT color="green">409</FONT>         *     &lt;td valign=top&gt;<a name="line.409"></a>
<FONT color="green">410</FONT>         *       result = o &amp;ne; null <a name="line.410"></a>
<FONT color="green">411</FONT>         *     &lt;/td&gt;<a name="line.411"></a>
<FONT color="green">412</FONT>         *     &lt;td valign=top&gt;<a name="line.412"></a>
<FONT color="green">413</FONT>         *       AND<a name="line.413"></a>
<FONT color="green">414</FONT>         *     &lt;/td&gt;<a name="line.414"></a>
<FONT color="green">415</FONT>         *   &lt;/tr&gt;<a name="line.415"></a>
<FONT color="green">416</FONT>         *   &lt;tr&gt;<a name="line.416"></a>
<FONT color="green">417</FONT>         *     &lt;td valign=top&gt;<a name="line.417"></a>
<FONT color="green">418</FONT>         *       &amp;nbsp;<a name="line.418"></a>
<FONT color="green">419</FONT>         *     &lt;/td&gt;<a name="line.419"></a>
<FONT color="green">420</FONT>         *     &lt;td valign=top&gt;<a name="line.420"></a>
<FONT color="green">421</FONT>         *       o &lt;i&gt;instanceof&lt;/i&gt; &lt;b&gt;PredicateList&lt;/b&gt; <a name="line.421"></a>
<FONT color="green">422</FONT>         *     &lt;/td&gt;<a name="line.422"></a>
<FONT color="green">423</FONT>         *     &lt;td valign=top&gt;<a name="line.423"></a>
<FONT color="green">424</FONT>         *       AND<a name="line.424"></a>
<FONT color="green">425</FONT>         *     &lt;/td&gt;<a name="line.425"></a>
<FONT color="green">426</FONT>         *   &lt;/tr&gt;<a name="line.426"></a>
<FONT color="green">427</FONT>         *   &lt;tr&gt;<a name="line.427"></a>
<FONT color="green">428</FONT>         *     &lt;td valign=top&gt;<a name="line.428"></a>
<FONT color="green">429</FONT>         *       &amp;nbsp;<a name="line.429"></a>
<FONT color="green">430</FONT>         *     &lt;/td&gt;<a name="line.430"></a>
<FONT color="green">431</FONT>         *     &lt;td valign=top&gt;<a name="line.431"></a>
<FONT color="green">432</FONT>         *       |o| = |this| <a name="line.432"></a>
<FONT color="green">433</FONT>         *     &lt;/td&gt;<a name="line.433"></a>
<FONT color="green">434</FONT>         *     &lt;td valign=top&gt;<a name="line.434"></a>
<FONT color="green">435</FONT>         *       AND<a name="line.435"></a>
<FONT color="green">436</FONT>         *     &lt;/td&gt;<a name="line.436"></a>
<FONT color="green">437</FONT>         *   &lt;/tr&gt;<a name="line.437"></a>
<FONT color="green">438</FONT>         *   &lt;tr&gt;<a name="line.438"></a>
<FONT color="green">439</FONT>         *     &lt;td valign=top&gt;<a name="line.439"></a>
<FONT color="green">440</FONT>         *       &amp;nbsp;<a name="line.440"></a>
<FONT color="green">441</FONT>         *     &lt;/td&gt;<a name="line.441"></a>
<FONT color="green">442</FONT>         *     &lt;td valign=top&gt;<a name="line.442"></a>
<FONT color="green">443</FONT>         *       &amp;forall;&lt;sub&gt;i&lt;/sub&gt; (0 &amp;lt;= i AND i &amp;lt; |o| &amp;rArr;<a name="line.443"></a>
<FONT color="green">444</FONT>         *          this[i].equals(o[i]))<a name="line.444"></a>
<FONT color="green">445</FONT>         *     &lt;/td&gt;<a name="line.445"></a>
<FONT color="green">446</FONT>         *     &lt;td valign=top&gt;<a name="line.446"></a>
<FONT color="green">447</FONT>         *     &lt;/td&gt;<a name="line.447"></a>
<FONT color="green">448</FONT>         *   &lt;/tr&gt;<a name="line.448"></a>
<FONT color="green">449</FONT>         * &lt;/table&gt;<a name="line.449"></a>
<FONT color="green">450</FONT>         *<a name="line.450"></a>
<FONT color="green">451</FONT>         * @param o the object we are going to compare this object to.<a name="line.451"></a>
<FONT color="green">452</FONT>         *<a name="line.452"></a>
<FONT color="green">453</FONT>         * @return whether or not the two objects are equal.<a name="line.453"></a>
<FONT color="green">454</FONT>         * @see<a name="line.454"></a>
<FONT color="green">455</FONT>         *   &lt;a href=<a name="line.455"></a>
<FONT color="green">456</FONT>         *      "../srchtml/project3/PredicateList.html#equals"<a name="line.456"></a>
<FONT color="green">457</FONT>         *      &gt;Source Code<a name="line.457"></a>
<FONT color="green">458</FONT>         *   &lt;/a&gt;<a name="line.458"></a>
<FONT color="green">459</FONT>         */<a name="line.459"></a>
<FONT color="green">460</FONT>        public boolean equals(Object o)<a name="line.460"></a>
<FONT color="green">461</FONT>        {<a name="line.461"></a>
<FONT color="green">462</FONT>            boolean result = o != null &amp;&amp; o instanceof PredicateList;<a name="line.462"></a>
<FONT color="green">463</FONT>            if(result){<a name="line.463"></a>
<FONT color="green">464</FONT>                Iterator&lt;Node&gt; iter1 = nodes.iterator();<a name="line.464"></a>
<FONT color="green">465</FONT>                Iterator&lt;Node&gt; iter2 = ((PredicateList)o).nodes.iterator();<a name="line.465"></a>
<FONT color="green">466</FONT>                while(iter1.hasNext() &amp;&amp; iter2.hasNext() &amp;&amp; result){<a name="line.466"></a>
<FONT color="green">467</FONT>                    result = iter1.next().equals(iter2.next());<a name="line.467"></a>
<FONT color="green">468</FONT>                };<a name="line.468"></a>
<FONT color="green">469</FONT>                result = result &amp;&amp; iter1.hasNext() == iter2.hasNext();<a name="line.469"></a>
<FONT color="green">470</FONT>            };<a name="line.470"></a>
<FONT color="green">471</FONT>            return result;<a name="line.471"></a>
<FONT color="green">472</FONT>        }<a name="line.472"></a>
<FONT color="green">473</FONT>    <a name="line.473"></a>
<FONT color="green">474</FONT>        /**<a name="line.474"></a>
<FONT color="green">475</FONT>         * Evaluate this predicate list.<a name="line.475"></a>
<FONT color="green">476</FONT>         *<a name="line.476"></a>
<FONT color="green">477</FONT>         * &lt;p&gt;<a name="line.477"></a>
<FONT color="green">478</FONT>         * &lt;table&gt;<a name="line.478"></a>
<FONT color="green">479</FONT>         *   &lt;tr&gt;<a name="line.479"></a>
<FONT color="green">480</FONT>         *     &lt;td valign=top&gt;<a name="line.480"></a>
<FONT color="green">481</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.481"></a>
<FONT color="green">482</FONT>         *     &lt;/td&gt;<a name="line.482"></a>
<FONT color="green">483</FONT>         *     &lt;td valign=top&gt;<a name="line.483"></a>
<FONT color="green">484</FONT>         *       variableInformation &amp;ne; null<a name="line.484"></a>
<FONT color="green">485</FONT>         *     &lt;/td&gt;<a name="line.485"></a>
<FONT color="green">486</FONT>         *     &lt;td valign=top&gt;<a name="line.486"></a>
<FONT color="green">487</FONT>         *     &lt;/td&gt;<a name="line.487"></a>
<FONT color="green">488</FONT>         *   &lt;/tr&gt;<a name="line.488"></a>
<FONT color="green">489</FONT>         *   &lt;tr&gt;<a name="line.489"></a>
<FONT color="green">490</FONT>         *     &lt;td valign=top&gt;<a name="line.490"></a>
<FONT color="green">491</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.491"></a>
<FONT color="green">492</FONT>         *     &lt;/td&gt;<a name="line.492"></a>
<FONT color="green">493</FONT>         *     &lt;td valign=top&gt;<a name="line.493"></a>
<FONT color="green">494</FONT>         *       result = <a name="line.494"></a>
<FONT color="green">495</FONT>         *         Exists combination of constant substitutions, &lt;i&gt;S&lt;/i&gt;, for the<a name="line.495"></a>
<FONT color="green">496</FONT>         *         variables in in the predicate list such that when each element of<a name="line.496"></a>
<FONT color="green">497</FONT>         *         &lt;i&gt;S&lt;/i&gt; is substituted for the corresponging variables in the<a name="line.497"></a>
<FONT color="green">498</FONT>         *         predicate list, every predicate in the predicate list is true.<a name="line.498"></a>
<FONT color="green">499</FONT>         *     &lt;/td&gt;<a name="line.499"></a>
<FONT color="green">500</FONT>         *     &lt;td valign=top&gt;<a name="line.500"></a>
<FONT color="green">501</FONT>         *     &lt;/td&gt;<a name="line.501"></a>
<FONT color="green">502</FONT>         *   &lt;/tr&gt;<a name="line.502"></a>
<FONT color="green">503</FONT>         * &lt;/table&gt;<a name="line.503"></a>
<FONT color="green">504</FONT>         *<a name="line.504"></a>
<FONT color="green">505</FONT>         * @throws ParserException<a name="line.505"></a>
<FONT color="green">506</FONT>         *<a name="line.506"></a>
<FONT color="green">507</FONT>         * @return true iff a valid set of substitutions for free variables in<a name="line.507"></a>
<FONT color="green">508</FONT>         *         this &lt;b&gt;PredicateList&lt;/b&gt;<a name="line.508"></a>
<FONT color="green">509</FONT>         * @see<a name="line.509"></a>
<FONT color="green">510</FONT>         *   &lt;a href=<a name="line.510"></a>
<FONT color="green">511</FONT>         *      "../srchtml/project3/PredicateList.html#evaluate"<a name="line.511"></a>
<FONT color="green">512</FONT>         *      &gt;Source Code<a name="line.512"></a>
<FONT color="green">513</FONT>         *   &lt;/a&gt;<a name="line.513"></a>
<FONT color="green">514</FONT>         */<a name="line.514"></a>
<FONT color="green">515</FONT>        public boolean evaluate()<a name="line.515"></a>
<FONT color="green">516</FONT>            throws ParserException<a name="line.516"></a>
<FONT color="green">517</FONT>        {<a name="line.517"></a>
<FONT color="green">518</FONT>            assert variableInformation != null;<a name="line.518"></a>
<FONT color="green">519</FONT>    <a name="line.519"></a>
<FONT color="green">520</FONT>            //We could have passed the variableIterator as a parameter in the<a name="line.520"></a>
<FONT color="green">521</FONT>            //recursion but choose to make it a variable global to the recursion.<a name="line.521"></a>
<FONT color="green">522</FONT>            variables = variableInformation.getVariables();<a name="line.522"></a>
<FONT color="green">523</FONT>            return createAllCombinations(0);<a name="line.523"></a>
<FONT color="green">524</FONT>        }<a name="line.524"></a>
<FONT color="green">525</FONT>    <a name="line.525"></a>
<FONT color="green">526</FONT>    //Commands<a name="line.526"></a>
<FONT color="green">527</FONT>        /**<a name="line.527"></a>
<FONT color="green">528</FONT>         * Set the variables in the predicate list which correspond to the <a name="line.528"></a>
<FONT color="green">529</FONT>         * variables in the head of the rule that contains this predicate list.<a name="line.529"></a>
<FONT color="green">530</FONT>         * Set them to the constants that came from unifying the head with a<a name="line.530"></a>
<FONT color="green">531</FONT>         * predicate list.<a name="line.531"></a>
<FONT color="green">532</FONT>         *<a name="line.532"></a>
<FONT color="green">533</FONT>         * &lt;p&gt;<a name="line.533"></a>
<FONT color="green">534</FONT>         * &lt;table&gt;<a name="line.534"></a>
<FONT color="green">535</FONT>         *   &lt;tr&gt;<a name="line.535"></a>
<FONT color="green">536</FONT>         *     &lt;td valign=top&gt;<a name="line.536"></a>
<FONT color="green">537</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.537"></a>
<FONT color="green">538</FONT>         *     &lt;/td&gt;<a name="line.538"></a>
<FONT color="green">539</FONT>         *     &lt;td valign=top&gt;<a name="line.539"></a>
<FONT color="green">540</FONT>         *       variableValuePairs &amp;ne; null<a name="line.540"></a>
<FONT color="green">541</FONT>         *     &lt;/td&gt;<a name="line.541"></a>
<FONT color="green">542</FONT>         *     &lt;td valign=top&gt;<a name="line.542"></a>
<FONT color="green">543</FONT>         *     &lt;/td&gt;<a name="line.543"></a>
<FONT color="green">544</FONT>         *   &lt;/tr&gt;<a name="line.544"></a>
<FONT color="green">545</FONT>         *   &lt;tr&gt;<a name="line.545"></a>
<FONT color="green">546</FONT>         *     &lt;td valign=top&gt;<a name="line.546"></a>
<FONT color="green">547</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.547"></a>
<FONT color="green">548</FONT>         *     &lt;/td&gt;<a name="line.548"></a>
<FONT color="green">549</FONT>         *     &lt;td valign=top&gt;<a name="line.549"></a>
<FONT color="green">550</FONT>         *       &amp;forall; Variable v in variableValuePairs<a name="line.550"></a>
<FONT color="green">551</FONT>         *         (The location in the predicateList where v appears, has been<a name="line.551"></a>
<FONT color="green">552</FONT>         *          replaced with the constant in the variableValuePairs that<a name="line.552"></a>
<FONT color="green">553</FONT>         *          corresponds to v<a name="line.553"></a>
<FONT color="green">554</FONT>         *         )<a name="line.554"></a>
<FONT color="green">555</FONT>         *     &lt;/td&gt;<a name="line.555"></a>
<FONT color="green">556</FONT>         *     &lt;td valign=top&gt;<a name="line.556"></a>
<FONT color="green">557</FONT>         *     &lt;/td&gt;<a name="line.557"></a>
<FONT color="green">558</FONT>         *   &lt;/tr&gt;<a name="line.558"></a>
<FONT color="green">559</FONT>         * &lt;/table&gt;<a name="line.559"></a>
<FONT color="green">560</FONT>         *<a name="line.560"></a>
<FONT color="green">561</FONT>         * @throws ParserException<a name="line.561"></a>
<FONT color="green">562</FONT>         *<a name="line.562"></a>
<FONT color="green">563</FONT>         * @param variableValuePairs a mapping of variables to constants for every<a name="line.563"></a>
<FONT color="green">564</FONT>         *                             variable in &lt;b&gt;Head&lt;/b&gt; of &lt;b&gt;Rule&lt;/b&gt; this<a name="line.564"></a>
<FONT color="green">565</FONT>         *                             &lt;b&gt;PredicateList&lt;/b&gt; belongs to.<a name="line.565"></a>
<FONT color="green">566</FONT>         * @see<a name="line.566"></a>
<FONT color="green">567</FONT>         *   &lt;a href=<a name="line.567"></a>
<FONT color="green">568</FONT>         *      "../srchtml/project3/PredicateList.html#setVariables"<a name="line.568"></a>
<FONT color="green">569</FONT>         *      &gt;Source Code<a name="line.569"></a>
<FONT color="green">570</FONT>         *   &lt;/a&gt;<a name="line.570"></a>
<FONT color="green">571</FONT>         */<a name="line.571"></a>
<FONT color="green">572</FONT>        public void setVariables(HashMap&lt;Identifier, Constant&gt; variableValuePairs)<a name="line.572"></a>
<FONT color="green">573</FONT>            throws ParserException<a name="line.573"></a>
<FONT color="green">574</FONT>        {<a name="line.574"></a>
<FONT color="green">575</FONT>            assert variableValuePairs != null;<a name="line.575"></a>
<FONT color="green">576</FONT>    <a name="line.576"></a>
<FONT color="green">577</FONT>            Iterator&lt;Identifier&gt; variableIterator =<a name="line.577"></a>
<FONT color="green">578</FONT>                variableValuePairs.keySet().iterator(); <a name="line.578"></a>
<FONT color="green">579</FONT>            while(variableIterator.hasNext()){<a name="line.579"></a>
<FONT color="green">580</FONT>                Identifier variable = variableIterator.next();<a name="line.580"></a>
<FONT color="green">581</FONT>                setVariableToValue(variable, variableValuePairs.get(variable));<a name="line.581"></a>
<FONT color="green">582</FONT>                variableInformation.remove(variable);<a name="line.582"></a>
<FONT color="green">583</FONT>            };<a name="line.583"></a>
<FONT color="green">584</FONT>        }<a name="line.584"></a>
<FONT color="green">585</FONT>    <a name="line.585"></a>
<FONT color="green">586</FONT>        /**<a name="line.586"></a>
<FONT color="green">587</FONT>         * Everyplace in the predicate list where variable appears, it is<a name="line.587"></a>
<FONT color="green">588</FONT>         * replaced by the given value.<a name="line.588"></a>
<FONT color="green">589</FONT>         *<a name="line.589"></a>
<FONT color="green">590</FONT>         * &lt;p&gt;<a name="line.590"></a>
<FONT color="green">591</FONT>         * &lt;table&gt;<a name="line.591"></a>
<FONT color="green">592</FONT>         *   &lt;tr&gt;<a name="line.592"></a>
<FONT color="green">593</FONT>         *     &lt;td valign=top&gt;<a name="line.593"></a>
<FONT color="green">594</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.594"></a>
<FONT color="green">595</FONT>         *     &lt;/td&gt;<a name="line.595"></a>
<FONT color="green">596</FONT>         *     &lt;td valign=top&gt;<a name="line.596"></a>
<FONT color="green">597</FONT>         *       variable &amp;ne; null <a name="line.597"></a>
<FONT color="green">598</FONT>         *     &lt;/td&gt;<a name="line.598"></a>
<FONT color="green">599</FONT>         *     &lt;td valign=top&gt;<a name="line.599"></a>
<FONT color="green">600</FONT>         *       AND<a name="line.600"></a>
<FONT color="green">601</FONT>         *     &lt;/td&gt;<a name="line.601"></a>
<FONT color="green">602</FONT>         *   &lt;/tr&gt;<a name="line.602"></a>
<FONT color="green">603</FONT>         *   &lt;tr&gt;<a name="line.603"></a>
<FONT color="green">604</FONT>         *     &lt;td valign=top&gt;<a name="line.604"></a>
<FONT color="green">605</FONT>         *       &amp;nbsp;<a name="line.605"></a>
<FONT color="green">606</FONT>         *     &lt;/td&gt;<a name="line.606"></a>
<FONT color="green">607</FONT>         *     &lt;td valign=top&gt;<a name="line.607"></a>
<FONT color="green">608</FONT>         *       value &amp;ne; null<a name="line.608"></a>
<FONT color="green">609</FONT>         *     &lt;/td&gt;<a name="line.609"></a>
<FONT color="green">610</FONT>         *     &lt;td valign=top&gt;<a name="line.610"></a>
<FONT color="green">611</FONT>         *     &lt;/td&gt;<a name="line.611"></a>
<FONT color="green">612</FONT>         *   &lt;/tr&gt;<a name="line.612"></a>
<FONT color="green">613</FONT>         *   &lt;tr&gt;<a name="line.613"></a>
<FONT color="green">614</FONT>         *     &lt;td valign=top&gt;<a name="line.614"></a>
<FONT color="green">615</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.615"></a>
<FONT color="green">616</FONT>         *     &lt;/td&gt;<a name="line.616"></a>
<FONT color="green">617</FONT>         *     &lt;td valign=top&gt;<a name="line.617"></a>
<FONT color="green">618</FONT>         *       Everyplace that variable appeared in the predicateList<a name="line.618"></a>
<FONT color="green">619</FONT>         *       it has been replaced by the given value.<a name="line.619"></a>
<FONT color="green">620</FONT>         *     &lt;/td&gt;<a name="line.620"></a>
<FONT color="green">621</FONT>         *     &lt;td valign=top&gt;<a name="line.621"></a>
<FONT color="green">622</FONT>         *     &lt;/td&gt;<a name="line.622"></a>
<FONT color="green">623</FONT>         *   &lt;/tr&gt;<a name="line.623"></a>
<FONT color="green">624</FONT>         * &lt;/table&gt;<a name="line.624"></a>
<FONT color="green">625</FONT>         *<a name="line.625"></a>
<FONT color="green">626</FONT>         * @throws ParserException<a name="line.626"></a>
<FONT color="green">627</FONT>         *<a name="line.627"></a>
<FONT color="green">628</FONT>         * @param variable the variable in this &lt;b&gt;PredicateList&lt;/b&gt; we are going<a name="line.628"></a>
<FONT color="green">629</FONT>         *                   to change to "value".<a name="line.629"></a>
<FONT color="green">630</FONT>         * @param value the constant we are replace every instance of "variable"<a name="line.630"></a>
<FONT color="green">631</FONT>         *                with.<a name="line.631"></a>
<FONT color="green">632</FONT>         * @see<a name="line.632"></a>
<FONT color="green">633</FONT>         *   &lt;a href=<a name="line.633"></a>
<FONT color="green">634</FONT>         *      "../srchtml/project3/PredicateList.html#setVariableToValue"<a name="line.634"></a>
<FONT color="green">635</FONT>         *      &gt;Source Code<a name="line.635"></a>
<FONT color="green">636</FONT>         *   &lt;/a&gt;<a name="line.636"></a>
<FONT color="green">637</FONT>         */<a name="line.637"></a>
<FONT color="green">638</FONT>        public void setVariableToValue(Identifier variable, Constant value)<a name="line.638"></a>
<FONT color="green">639</FONT>            throws ParserException<a name="line.639"></a>
<FONT color="green">640</FONT>        {<a name="line.640"></a>
<FONT color="green">641</FONT>            assert variable != null || value != null;<a name="line.641"></a>
<FONT color="green">642</FONT>    <a name="line.642"></a>
<FONT color="green">643</FONT>            Iterator&lt;Location&gt; locationIter =<a name="line.643"></a>
<FONT color="green">644</FONT>                variableInformation.getLocationsFor(variable);<a name="line.644"></a>
<FONT color="green">645</FONT>            while(locationIter != null &amp;&amp; locationIter.hasNext()){<a name="line.645"></a>
<FONT color="green">646</FONT>                Location location = locationIter.next();<a name="line.646"></a>
<FONT color="green">647</FONT>                Predicate predicate =<a name="line.647"></a>
<FONT color="green">648</FONT>                    (Predicate)nodes.get(location.getPredicateIndex());<a name="line.648"></a>
<FONT color="green">649</FONT>                predicate.set(location.getLocationInPredicate(), value);<a name="line.649"></a>
<FONT color="green">650</FONT>            }<a name="line.650"></a>
<FONT color="green">651</FONT>        }<a name="line.651"></a>
<FONT color="green">652</FONT>    <a name="line.652"></a>
<FONT color="green">653</FONT>    //Auxillary Methods and Constants<a name="line.653"></a>
<FONT color="green">654</FONT>        /**<a name="line.654"></a>
<FONT color="green">655</FONT>         * As we recursively compute all combinations of constants from the<a name="line.655"></a>
<FONT color="green">656</FONT>         * domain, we need to iterate over all all variables in the predicate<a name="line.656"></a>
<FONT color="green">657</FONT>         * list, this holds the list of variables.  We place it here so we don't<a name="line.657"></a>
<FONT color="green">658</FONT>         * have to pass it as a parameter.<a name="line.658"></a>
<FONT color="green">659</FONT>         * @see<a name="line.659"></a>
<FONT color="green">660</FONT>         *   &lt;a href=<a name="line.660"></a>
<FONT color="green">661</FONT>         *      "../srchtml/project3/PredicateList.html#variables"<a name="line.661"></a>
<FONT color="green">662</FONT>         *      &gt;Source Code<a name="line.662"></a>
<FONT color="green">663</FONT>         *   &lt;/a&gt;<a name="line.663"></a>
<FONT color="green">664</FONT>         */<a name="line.664"></a>
<FONT color="green">665</FONT>        protected Identifier[] variables = null;<a name="line.665"></a>
<FONT color="green">666</FONT>    <a name="line.666"></a>
<FONT color="green">667</FONT>        /**<a name="line.667"></a>
<FONT color="green">668</FONT>         * For &lt;b&gt;PredicateList&lt;/b&gt; this does nothing.  It is a place holder<a name="line.668"></a>
<FONT color="green">669</FONT>         * for something that a query must do when recursing.  That is,<a name="line.669"></a>
<FONT color="green">670</FONT>         * if there is a combinations of constants that makes the query true,<a name="line.670"></a>
<FONT color="green">671</FONT>         * save the combination as an answer.  But, for a &lt;b&gt;PredicateList&lt;/b&gt;<a name="line.671"></a>
<FONT color="green">672</FONT>         * we nothing.<a name="line.672"></a>
<FONT color="green">673</FONT>         *<a name="line.673"></a>
<FONT color="green">674</FONT>         * &lt;p&gt;<a name="line.674"></a>
<FONT color="green">675</FONT>         * &lt;table&gt;<a name="line.675"></a>
<FONT color="green">676</FONT>         *   &lt;tr&gt;<a name="line.676"></a>
<FONT color="green">677</FONT>         *     &lt;td valign=top&gt;<a name="line.677"></a>
<FONT color="green">678</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.678"></a>
<FONT color="green">679</FONT>         *     &lt;/td&gt;<a name="line.679"></a>
<FONT color="green">680</FONT>         *     &lt;td valign=top&gt;<a name="line.680"></a>
<FONT color="green">681</FONT>         *       true<a name="line.681"></a>
<FONT color="green">682</FONT>         *     &lt;/td&gt;<a name="line.682"></a>
<FONT color="green">683</FONT>         *     &lt;td valign=top&gt;<a name="line.683"></a>
<FONT color="green">684</FONT>         *     &lt;/td&gt;<a name="line.684"></a>
<FONT color="green">685</FONT>         *   &lt;/tr&gt;<a name="line.685"></a>
<FONT color="green">686</FONT>         *   &lt;tr&gt;<a name="line.686"></a>
<FONT color="green">687</FONT>         *     &lt;td valign=top&gt;<a name="line.687"></a>
<FONT color="green">688</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.688"></a>
<FONT color="green">689</FONT>         *     &lt;/td&gt;<a name="line.689"></a>
<FONT color="green">690</FONT>         *     &lt;td valign=top&gt;<a name="line.690"></a>
<FONT color="green">691</FONT>         *       true<a name="line.691"></a>
<FONT color="green">692</FONT>         *     &lt;/td&gt;<a name="line.692"></a>
<FONT color="green">693</FONT>         *     &lt;td valign=top&gt;<a name="line.693"></a>
<FONT color="green">694</FONT>         *     &lt;/td&gt;<a name="line.694"></a>
<FONT color="green">695</FONT>         *   &lt;/tr&gt;<a name="line.695"></a>
<FONT color="green">696</FONT>         * &lt;/table&gt;<a name="line.696"></a>
<FONT color="green">697</FONT>         *<a name="line.697"></a>
<FONT color="green">698</FONT>         * @throws ParserException<a name="line.698"></a>
<FONT color="green">699</FONT>         * @see<a name="line.699"></a>
<FONT color="green">700</FONT>         *   &lt;a href=<a name="line.700"></a>
<FONT color="green">701</FONT>         *      "../srchtml/project3/PredicateList.html#saveResult"<a name="line.701"></a>
<FONT color="green">702</FONT>         *      &gt;Source Code<a name="line.702"></a>
<FONT color="green">703</FONT>         *   &lt;/a&gt;<a name="line.703"></a>
<FONT color="green">704</FONT>         */<a name="line.704"></a>
<FONT color="green">705</FONT>        protected void saveResult()<a name="line.705"></a>
<FONT color="green">706</FONT>            throws ParserException<a name="line.706"></a>
<FONT color="green">707</FONT>        {<a name="line.707"></a>
<FONT color="green">708</FONT>            //We don't save results when evaluating predicate lists.<a name="line.708"></a>
<FONT color="green">709</FONT>            //We will when we evaluate a Query.  This method must be overloaded<a name="line.709"></a>
<FONT color="green">710</FONT>            //in the Query class.<a name="line.710"></a>
<FONT color="green">711</FONT>        }<a name="line.711"></a>
<FONT color="green">712</FONT>    <a name="line.712"></a>
<FONT color="green">713</FONT>        /**<a name="line.713"></a>
<FONT color="green">714</FONT>         * Compute and store the locations for every variable in the predicate<a name="line.714"></a>
<FONT color="green">715</FONT>         * list.<a name="line.715"></a>
<FONT color="green">716</FONT>         *<a name="line.716"></a>
<FONT color="green">717</FONT>         * &lt;p&gt;<a name="line.717"></a>
<FONT color="green">718</FONT>         * &lt;table&gt;<a name="line.718"></a>
<FONT color="green">719</FONT>         *   &lt;tr&gt;<a name="line.719"></a>
<FONT color="green">720</FONT>         *     &lt;td valign=top&gt;<a name="line.720"></a>
<FONT color="green">721</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.721"></a>
<FONT color="green">722</FONT>         *     &lt;/td&gt;<a name="line.722"></a>
<FONT color="green">723</FONT>         *     &lt;td valign=top&gt;<a name="line.723"></a>
<FONT color="green">724</FONT>         *        none<a name="line.724"></a>
<FONT color="green">725</FONT>         *     &lt;/td&gt;<a name="line.725"></a>
<FONT color="green">726</FONT>         *     &lt;td valign=top&gt;<a name="line.726"></a>
<FONT color="green">727</FONT>         *     &lt;/td&gt;<a name="line.727"></a>
<FONT color="green">728</FONT>         *   &lt;/tr&gt;<a name="line.728"></a>
<FONT color="green">729</FONT>         *   &lt;tr&gt;<a name="line.729"></a>
<FONT color="green">730</FONT>         *     &lt;td valign=top&gt;<a name="line.730"></a>
<FONT color="green">731</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.731"></a>
<FONT color="green">732</FONT>         *     &lt;/td&gt;<a name="line.732"></a>
<FONT color="green">733</FONT>         *     &lt;td valign=top&gt;<a name="line.733"></a>
<FONT color="green">734</FONT>         *       For every variable v, at location l in the predicate list,<a name="line.734"></a>
<FONT color="green">735</FONT>         *       variableInformation.getLocationsFor(v).contains(l)<a name="line.735"></a>
<FONT color="green">736</FONT>         *     &lt;/td&gt;<a name="line.736"></a>
<FONT color="green">737</FONT>         *     &lt;td valign=top&gt;<a name="line.737"></a>
<FONT color="green">738</FONT>         *       AND<a name="line.738"></a>
<FONT color="green">739</FONT>         *     &lt;/td&gt;<a name="line.739"></a>
<FONT color="green">740</FONT>         *   &lt;/tr&gt;<a name="line.740"></a>
<FONT color="green">741</FONT>         *   &lt;tr&gt;<a name="line.741"></a>
<FONT color="green">742</FONT>         *     &lt;td valign=top&gt;<a name="line.742"></a>
<FONT color="green">743</FONT>         *       &amp;nbsp;<a name="line.743"></a>
<FONT color="green">744</FONT>         *     &lt;/td&gt;<a name="line.744"></a>
<FONT color="green">745</FONT>         *     &lt;td valign=top&gt;<a name="line.745"></a>
<FONT color="green">746</FONT>         *       For every variable v and location l<a name="line.746"></a>
<FONT color="green">747</FONT>         *       variableInformation.getLocationsFor(v).contains(l)<a name="line.747"></a>
<FONT color="green">748</FONT>         *       &amp;rArr; the predicate list contains variable v at location l<a name="line.748"></a>
<FONT color="green">749</FONT>         *     &lt;/td&gt;<a name="line.749"></a>
<FONT color="green">750</FONT>         *     &lt;td valign=top&gt;<a name="line.750"></a>
<FONT color="green">751</FONT>         *     &lt;/td&gt;<a name="line.751"></a>
<FONT color="green">752</FONT>         *   &lt;/tr&gt;<a name="line.752"></a>
<FONT color="green">753</FONT>         * &lt;/table&gt;<a name="line.753"></a>
<FONT color="green">754</FONT>         * @see<a name="line.754"></a>
<FONT color="green">755</FONT>         *   &lt;a href=<a name="line.755"></a>
<FONT color="green">756</FONT>         *      "../srchtml/project3/PredicateList.html#setUpVariableLocMapping"<a name="line.756"></a>
<FONT color="green">757</FONT>         *      &gt;Source Code<a name="line.757"></a>
<FONT color="green">758</FONT>         *   &lt;/a&gt;<a name="line.758"></a>
<FONT color="green">759</FONT>         */<a name="line.759"></a>
<FONT color="green">760</FONT>        protected void setUpVariableLocationMapping()<a name="line.760"></a>
<FONT color="green">761</FONT>        {<a name="line.761"></a>
<FONT color="green">762</FONT>            int predicateLocation = 0;<a name="line.762"></a>
<FONT color="green">763</FONT>            Iterator&lt;Node&gt; nodeIterator = nodes.iterator();<a name="line.763"></a>
<FONT color="green">764</FONT>            while(nodeIterator.hasNext()){<a name="line.764"></a>
<FONT color="green">765</FONT>                Predicate predicate = (Predicate)nodeIterator.next();<a name="line.765"></a>
<FONT color="green">766</FONT>                int argumentLocation = 0;<a name="line.766"></a>
<FONT color="green">767</FONT>                Iterator&lt;Node&gt; argumentIterator = predicate.getNodes().iterator();<a name="line.767"></a>
<FONT color="green">768</FONT>                while(argumentIterator.hasNext()){<a name="line.768"></a>
<FONT color="green">769</FONT>                    Argument argument = (Argument)argumentIterator.next();<a name="line.769"></a>
<FONT color="green">770</FONT>                    if(argument instanceof Identifier){<a name="line.770"></a>
<FONT color="green">771</FONT>                        Location location = new Location(predicateLocation,<a name="line.771"></a>
<FONT color="green">772</FONT>                                                         argumentLocation);<a name="line.772"></a>
<FONT color="green">773</FONT>                        variableInformation.addLocationFor((Identifier)argument,<a name="line.773"></a>
<FONT color="green">774</FONT>                                                           location);<a name="line.774"></a>
<FONT color="green">775</FONT>                    };<a name="line.775"></a>
<FONT color="green">776</FONT>                    argumentLocation++;<a name="line.776"></a>
<FONT color="green">777</FONT>                };<a name="line.777"></a>
<FONT color="green">778</FONT>                predicateLocation++;<a name="line.778"></a>
<FONT color="green">779</FONT>            };<a name="line.779"></a>
<FONT color="green">780</FONT>    <a name="line.780"></a>
<FONT color="green">781</FONT>        }<a name="line.781"></a>
<FONT color="green">782</FONT>    <a name="line.782"></a>
<FONT color="green">783</FONT>        /**<a name="line.783"></a>
<FONT color="green">784</FONT>         * Setup the &lt;b&gt;PredicateList&lt;/b&gt; with all information as to a variable and<a name="line.784"></a>
<FONT color="green">785</FONT>         * its locations in the predicate list.  In this case it is all stored<a name="line.785"></a>
<FONT color="green">786</FONT>         * in a variable of type &lt;b&gt;VariableInformation&lt;/b&gt; which stores all of the<a name="line.786"></a>
<FONT color="green">787</FONT>         * locations of a variable in the predicate list.  In &lt;b&gt;Query&lt;/b&gt; we will<a name="line.787"></a>
<FONT color="green">788</FONT>         * override this method so that all information is stored in a<a name="line.788"></a>
<FONT color="green">789</FONT>         * &lt;b&gt;QueryVariableInformation&lt;/b&gt; which is a subclass of<a name="line.789"></a>
<FONT color="green">790</FONT>         * &lt;b&gt;VariableInformation&lt;/b&gt;.  &lt;b&gt;QueryVariableInformatin&lt;/b&gt; includes<a name="line.790"></a>
<FONT color="green">791</FONT>         * the added information of what the current value is for each variable in<a name="line.791"></a>
<FONT color="green">792</FONT>         * the information list.  This latter information is used for deriving and<a name="line.792"></a>
<FONT color="green">793</FONT>         * printing the solutions for a &lt;b&gt;Query&lt;/b&gt;.<a name="line.793"></a>
<FONT color="green">794</FONT>         *<a name="line.794"></a>
<FONT color="green">795</FONT>         * &lt;p&gt;<a name="line.795"></a>
<FONT color="green">796</FONT>         * &lt;table&gt;<a name="line.796"></a>
<FONT color="green">797</FONT>         *   &lt;tr&gt;<a name="line.797"></a>
<FONT color="green">798</FONT>         *     &lt;td valign=top&gt;<a name="line.798"></a>
<FONT color="green">799</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.799"></a>
<FONT color="green">800</FONT>         *     &lt;/td&gt;<a name="line.800"></a>
<FONT color="green">801</FONT>         *     &lt;td valign=top&gt;<a name="line.801"></a>
<FONT color="green">802</FONT>         *       none<a name="line.802"></a>
<FONT color="green">803</FONT>         *     &lt;/td&gt;<a name="line.803"></a>
<FONT color="green">804</FONT>         *     &lt;td valign=top&gt;<a name="line.804"></a>
<FONT color="green">805</FONT>         *     &lt;/td&gt;<a name="line.805"></a>
<FONT color="green">806</FONT>         *   &lt;/tr&gt;<a name="line.806"></a>
<FONT color="green">807</FONT>         *   &lt;tr&gt;<a name="line.807"></a>
<FONT color="green">808</FONT>         *     &lt;td valign=top&gt;<a name="line.808"></a>
<FONT color="green">809</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.809"></a>
<FONT color="green">810</FONT>         *     &lt;/td&gt;<a name="line.810"></a>
<FONT color="green">811</FONT>         *     &lt;td valign=top&gt;<a name="line.811"></a>
<FONT color="green">812</FONT>         *       variableInformation &lt;i&gt;instanceof&lt;/i&gt; &lt;b&gt;VariableInformation&lt;/b&gt;<a name="line.812"></a>
<FONT color="green">813</FONT>         *     &lt;/td&gt;<a name="line.813"></a>
<FONT color="green">814</FONT>         *     &lt;td valign=top&gt;<a name="line.814"></a>
<FONT color="green">815</FONT>         *       AND<a name="line.815"></a>
<FONT color="green">816</FONT>         *     &lt;/td&gt;<a name="line.816"></a>
<FONT color="green">817</FONT>         *   &lt;/tr&gt;<a name="line.817"></a>
<FONT color="green">818</FONT>         *   &lt;tr&gt;<a name="line.818"></a>
<FONT color="green">819</FONT>         *     &lt;td valign=top&gt;<a name="line.819"></a>
<FONT color="green">820</FONT>         *       &amp;nbsp;<a name="line.820"></a>
<FONT color="green">821</FONT>         *     &lt;/td&gt;<a name="line.821"></a>
<FONT color="green">822</FONT>         *     &lt;td valign=top&gt;<a name="line.822"></a>
<FONT color="green">823</FONT>         *       setUpVariableLocationMapping.Postcondition<a name="line.823"></a>
<FONT color="green">824</FONT>         *     &lt;/td&gt;<a name="line.824"></a>
<FONT color="green">825</FONT>         *     &lt;td valign=top&gt;<a name="line.825"></a>
<FONT color="green">826</FONT>         *     &lt;/td&gt;<a name="line.826"></a>
<FONT color="green">827</FONT>         *   &lt;/tr&gt;<a name="line.827"></a>
<FONT color="green">828</FONT>         * &lt;/table&gt;<a name="line.828"></a>
<FONT color="green">829</FONT>         * @see<a name="line.829"></a>
<FONT color="green">830</FONT>         *   &lt;a href=<a name="line.830"></a>
<FONT color="green">831</FONT>         *      "../srchtml/project3/PredicateList.html#initializeVariableInfo"<a name="line.831"></a>
<FONT color="green">832</FONT>         *      &gt;Source Code<a name="line.832"></a>
<FONT color="green">833</FONT>         *   &lt;/a&gt;<a name="line.833"></a>
<FONT color="green">834</FONT>         */<a name="line.834"></a>
<FONT color="green">835</FONT>        protected void initializeVariableInformation()<a name="line.835"></a>
<FONT color="green">836</FONT>        {<a name="line.836"></a>
<FONT color="green">837</FONT>            variableInformation = new VariableInformation();<a name="line.837"></a>
<FONT color="green">838</FONT>            setUpVariableLocationMapping();<a name="line.838"></a>
<FONT color="green">839</FONT>        }<a name="line.839"></a>
<FONT color="green">840</FONT>    <a name="line.840"></a>
<FONT color="green">841</FONT>        /**<a name="line.841"></a>
<FONT color="green">842</FONT>         * Should we continue finding all combinations of constants,  if we<a name="line.842"></a>
<FONT color="green">843</FONT>         * are recursing over a predicate list, then we can stop the first time<a name="line.843"></a>
<FONT color="green">844</FONT>         * we find a true one, if this is a query, then we never stop.<a name="line.844"></a>
<FONT color="green">845</FONT>         * Since this is a &lt;b&gt;PredicateList&lt;/b&gt; we stop when we find the first valid<a name="line.845"></a>
<FONT color="green">846</FONT>         * substitution.  We will need to override this in &lt;b&gt;Query&lt;/b&gt;.<a name="line.846"></a>
<FONT color="green">847</FONT>         *<a name="line.847"></a>
<FONT color="green">848</FONT>         * &lt;p&gt;<a name="line.848"></a>
<FONT color="green">849</FONT>         * &lt;table&gt;<a name="line.849"></a>
<FONT color="green">850</FONT>         *   &lt;tr&gt;<a name="line.850"></a>
<FONT color="green">851</FONT>         *     &lt;td valign=top&gt;<a name="line.851"></a>
<FONT color="green">852</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.852"></a>
<FONT color="green">853</FONT>         *     &lt;/td&gt;<a name="line.853"></a>
<FONT color="green">854</FONT>         *     &lt;td valign=top&gt;<a name="line.854"></a>
<FONT color="green">855</FONT>         *       validSolutionFound is a value that will be used.<a name="line.855"></a>
<FONT color="green">856</FONT>         *     &lt;/td&gt;<a name="line.856"></a>
<FONT color="green">857</FONT>         *     &lt;td valign=top&gt;<a name="line.857"></a>
<FONT color="green">858</FONT>         *     &lt;/td&gt;<a name="line.858"></a>
<FONT color="green">859</FONT>         *   &lt;/tr&gt;<a name="line.859"></a>
<FONT color="green">860</FONT>         *   &lt;tr&gt;<a name="line.860"></a>
<FONT color="green">861</FONT>         *     &lt;td valign=top&gt;<a name="line.861"></a>
<FONT color="green">862</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.862"></a>
<FONT color="green">863</FONT>         *     &lt;/td&gt;<a name="line.863"></a>
<FONT color="green">864</FONT>         *     &lt;td valign=top&gt;<a name="line.864"></a>
<FONT color="green">865</FONT>         *       result = &amp;not; validSolutionFound <a name="line.865"></a>
<FONT color="green">866</FONT>         *     &lt;/td&gt;<a name="line.866"></a>
<FONT color="green">867</FONT>         *     &lt;td valign=top&gt;<a name="line.867"></a>
<FONT color="green">868</FONT>         *     &lt;/td&gt;<a name="line.868"></a>
<FONT color="green">869</FONT>         *   &lt;/tr&gt;<a name="line.869"></a>
<FONT color="green">870</FONT>         *   &lt;/tr&gt;<a name="line.870"></a>
<FONT color="green">871</FONT>         * &lt;/table&gt;<a name="line.871"></a>
<FONT color="green">872</FONT>         *<a name="line.872"></a>
<FONT color="green">873</FONT>         * @param validSolutionFound indicates whether or not we found a valid<a name="line.873"></a>
<FONT color="green">874</FONT>         *                             solution.<a name="line.874"></a>
<FONT color="green">875</FONT>         *<a name="line.875"></a>
<FONT color="green">876</FONT>         * @return true iff we did NOT find a valid solution.<a name="line.876"></a>
<FONT color="green">877</FONT>         * @see<a name="line.877"></a>
<FONT color="green">878</FONT>         *   &lt;a href=<a name="line.878"></a>
<FONT color="green">879</FONT>         *      "../srchtml/project3/PredicateList.html#validSolutionFound"<a name="line.879"></a>
<FONT color="green">880</FONT>         *      &gt;Source Code<a name="line.880"></a>
<FONT color="green">881</FONT>         *   &lt;/a&gt;<a name="line.881"></a>
<FONT color="green">882</FONT>         */<a name="line.882"></a>
<FONT color="green">883</FONT>        protected boolean keepOnGoing(boolean validSolutionFound)<a name="line.883"></a>
<FONT color="green">884</FONT>        {<a name="line.884"></a>
<FONT color="green">885</FONT>            return !validSolutionFound;<a name="line.885"></a>
<FONT color="green">886</FONT>        }<a name="line.886"></a>
<FONT color="green">887</FONT>    <a name="line.887"></a>
<FONT color="green">888</FONT>        /**<a name="line.888"></a>
<FONT color="green">889</FONT>         * Check to see if all of the arguments of all &lt;b&gt;Predicate&lt;/b&gt;s in<a name="line.889"></a>
<FONT color="green">890</FONT>         * this &lt;b&gt;PredicateList&lt;/b&gt; are constants.<a name="line.890"></a>
<FONT color="green">891</FONT>         *<a name="line.891"></a>
<FONT color="green">892</FONT>         * &lt;p&gt;<a name="line.892"></a>
<FONT color="green">893</FONT>         * &lt;table&gt;<a name="line.893"></a>
<FONT color="green">894</FONT>         *   &lt;tr&gt;<a name="line.894"></a>
<FONT color="green">895</FONT>         *     &lt;td valign=top&gt;<a name="line.895"></a>
<FONT color="green">896</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.896"></a>
<FONT color="green">897</FONT>         *     &lt;/td&gt;<a name="line.897"></a>
<FONT color="green">898</FONT>         *     &lt;td valign=top&gt;<a name="line.898"></a>
<FONT color="green">899</FONT>         *       none<a name="line.899"></a>
<FONT color="green">900</FONT>         *     &lt;/td&gt;<a name="line.900"></a>
<FONT color="green">901</FONT>         *     &lt;td valign=top&gt;<a name="line.901"></a>
<FONT color="green">902</FONT>         *     &lt;/td&gt;<a name="line.902"></a>
<FONT color="green">903</FONT>         *   &lt;/tr&gt;<a name="line.903"></a>
<FONT color="green">904</FONT>         *   &lt;tr&gt;<a name="line.904"></a>
<FONT color="green">905</FONT>         *     &lt;td valign=top&gt;<a name="line.905"></a>
<FONT color="green">906</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.906"></a>
<FONT color="green">907</FONT>         *     &lt;/td&gt;<a name="line.907"></a>
<FONT color="green">908</FONT>         *     &lt;td valign=top&gt;<a name="line.908"></a>
<FONT color="green">909</FONT>         *       result = &amp;forall&lt;sub&gt;x&lt;/sub&gt;<a name="line.909"></a>
<FONT color="green">910</FONT>         *        (x &amp;isin; predicateList &amp;rArr; x.allConstants())<a name="line.910"></a>
<FONT color="green">911</FONT>         *     &lt;/td&gt;<a name="line.911"></a>
<FONT color="green">912</FONT>         *     &lt;td valign=top&gt;<a name="line.912"></a>
<FONT color="green">913</FONT>         *       AND<a name="line.913"></a>
<FONT color="green">914</FONT>         *     &lt;/td&gt;<a name="line.914"></a>
<FONT color="green">915</FONT>         *   &lt;/tr&gt;<a name="line.915"></a>
<FONT color="green">916</FONT>         *   &lt;tr&gt;<a name="line.916"></a>
<FONT color="green">917</FONT>         *     &lt;td valign=top&gt;<a name="line.917"></a>
<FONT color="green">918</FONT>         *       &amp;nbsp;<a name="line.918"></a>
<FONT color="green">919</FONT>         *     &lt;/td&gt;<a name="line.919"></a>
<FONT color="green">920</FONT>         *     &lt;td valign=top&gt;<a name="line.920"></a>
<FONT color="green">921</FONT>         *     &lt;/td&gt;<a name="line.921"></a>
<FONT color="green">922</FONT>         *     &lt;td valign=top&gt;<a name="line.922"></a>
<FONT color="green">923</FONT>         *     &lt;/td&gt;<a name="line.923"></a>
<FONT color="green">924</FONT>         *   &lt;/tr&gt;<a name="line.924"></a>
<FONT color="green">925</FONT>         * &lt;/table&gt;<a name="line.925"></a>
<FONT color="green">926</FONT>         *<a name="line.926"></a>
<FONT color="green">927</FONT>         * @return true iff every &lt;b&gt;Argument&lt;/b&gt; in every &lt;b&gt;Predicate&lt;/b&gt; of this<a name="line.927"></a>
<FONT color="green">928</FONT>         *              &lt;b&gt;PredicateList&lt;/b&gt; is a &lt;i&gt;Constant&lt;/i&gt;.<a name="line.928"></a>
<FONT color="green">929</FONT>         * @see<a name="line.929"></a>
<FONT color="green">930</FONT>         *   &lt;a href=<a name="line.930"></a>
<FONT color="green">931</FONT>         *      "../srchtml/project3/PredicateList.html#allConstants"<a name="line.931"></a>
<FONT color="green">932</FONT>         *      &gt;Source Code<a name="line.932"></a>
<FONT color="green">933</FONT>         *   &lt;/a&gt;<a name="line.933"></a>
<FONT color="green">934</FONT>         */<a name="line.934"></a>
<FONT color="green">935</FONT>        protected boolean allConstants()<a name="line.935"></a>
<FONT color="green">936</FONT>        {<a name="line.936"></a>
<FONT color="green">937</FONT>            boolean result = true;<a name="line.937"></a>
<FONT color="green">938</FONT>            Iterator&lt;Node&gt; iter = nodes.iterator();<a name="line.938"></a>
<FONT color="green">939</FONT>            while(result &amp;&amp; iter.hasNext()){<a name="line.939"></a>
<FONT color="green">940</FONT>                result = ((Predicate)iter.next()).allConstants();<a name="line.940"></a>
<FONT color="green">941</FONT>            };<a name="line.941"></a>
<FONT color="green">942</FONT>            return result;<a name="line.942"></a>
<FONT color="green">943</FONT>        }<a name="line.943"></a>
<FONT color="green">944</FONT>    <a name="line.944"></a>
<FONT color="green">945</FONT>        //Methods of List that need to be overridden to define a list of<a name="line.945"></a>
<FONT color="green">946</FONT>        // one or more Predicate separated by commas.<a name="line.946"></a>
<FONT color="green">947</FONT>        /**<a name="line.947"></a>
<FONT color="green">948</FONT>         * Creates a &lt;b&gt;Predicate&lt;/b&gt;.<a name="line.948"></a>
<FONT color="green">949</FONT>         *<a name="line.949"></a>
<FONT color="green">950</FONT>         * &lt;p&gt;<a name="line.950"></a>
<FONT color="green">951</FONT>         * &lt;table&gt;<a name="line.951"></a>
<FONT color="green">952</FONT>         *   &lt;tr&gt;<a name="line.952"></a>
<FONT color="green">953</FONT>         *     &lt;td valign=top&gt;<a name="line.953"></a>
<FONT color="green">954</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.954"></a>
<FONT color="green">955</FONT>         *     &lt;/td&gt;<a name="line.955"></a>
<FONT color="green">956</FONT>         *     &lt;td valign=top&gt;<a name="line.956"></a>
<FONT color="green">957</FONT>         *       lex &amp;ne; null<a name="line.957"></a>
<FONT color="green">958</FONT>         *     &lt;/td&gt;<a name="line.958"></a>
<FONT color="green">959</FONT>         *     &lt;td valign=top&gt;<a name="line.959"></a>
<FONT color="green">960</FONT>         *       AND<a name="line.960"></a>
<FONT color="green">961</FONT>         *     &lt;/td&gt;<a name="line.961"></a>
<FONT color="green">962</FONT>         *   &lt;/tr&gt;<a name="line.962"></a>
<FONT color="green">963</FONT>         *   &lt;tr&gt;<a name="line.963"></a>
<FONT color="green">964</FONT>         *     &lt;td valign=top&gt;<a name="line.964"></a>
<FONT color="green">965</FONT>         *       &amp;nbsp;<a name="line.965"></a>
<FONT color="green">966</FONT>         *     &lt;/td&gt;<a name="line.966"></a>
<FONT color="green">967</FONT>         *     &lt;td valign=top&gt;<a name="line.967"></a>
<FONT color="green">968</FONT>         *       lex[0..i] contains a &lt;b&gt;Predicate&lt;/b&gt;<a name="line.968"></a>
<FONT color="green">969</FONT>         *     &lt;/td&gt;<a name="line.969"></a>
<FONT color="green">970</FONT>         *     &lt;td valign=top&gt;<a name="line.970"></a>
<FONT color="green">971</FONT>         *     &lt;/td&gt;<a name="line.971"></a>
<FONT color="green">972</FONT>         *   &lt;/tr&gt;<a name="line.972"></a>
<FONT color="green">973</FONT>         *   &lt;tr&gt;<a name="line.973"></a>
<FONT color="green">974</FONT>         *     &lt;td valign=top&gt;<a name="line.974"></a>
<FONT color="green">975</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.975"></a>
<FONT color="green">976</FONT>         *     &lt;/td&gt;<a name="line.976"></a>
<FONT color="green">977</FONT>         *     &lt;td valign=top&gt;<a name="line.977"></a>
<FONT color="green">978</FONT>         *       result = new Predicate(lex)<a name="line.978"></a>
<FONT color="green">979</FONT>         *     &lt;/td&gt;<a name="line.979"></a>
<FONT color="green">980</FONT>         *     &lt;td valign=top&gt;<a name="line.980"></a>
<FONT color="green">981</FONT>         *     &lt;/td&gt;<a name="line.981"></a>
<FONT color="green">982</FONT>         *   &lt;/tr&gt;<a name="line.982"></a>
<FONT color="green">983</FONT>         * &lt;/table&gt;<a name="line.983"></a>
<FONT color="green">984</FONT>         *<a name="line.984"></a>
<FONT color="green">985</FONT>         * @throws ParserException<a name="line.985"></a>
<FONT color="green">986</FONT>         *<a name="line.986"></a>
<FONT color="green">987</FONT>         * @param lex the lexical analyzer we will create the &lt;b&gt;Predicate&lt;/b&gt;<a name="line.987"></a>
<FONT color="green">988</FONT>         *            from.<a name="line.988"></a>
<FONT color="green">989</FONT>         *<a name="line.989"></a>
<FONT color="green">990</FONT>         * @return the &lt;b&gt;Predicate&lt;/b&gt; we created.<a name="line.990"></a>
<FONT color="green">991</FONT>         * @see<a name="line.991"></a>
<FONT color="green">992</FONT>         *   &lt;a href=<a name="line.992"></a>
<FONT color="green">993</FONT>         *      "../srchtml/project3/PredicateList.html#createNode"<a name="line.993"></a>
<FONT color="green">994</FONT>         *      &gt;Source Code<a name="line.994"></a>
<FONT color="green">995</FONT>         *   &lt;/a&gt;<a name="line.995"></a>
<FONT color="green">996</FONT>         */<a name="line.996"></a>
<FONT color="green">997</FONT>        protected Node createNode(Lex lex)<a name="line.997"></a>
<FONT color="green">998</FONT>            throws ParserException<a name="line.998"></a>
<FONT color="green">999</FONT>        {<a name="line.999"></a>
<FONT color="green">1000</FONT>            return new Predicate(lex);<a name="line.1000"></a>
<FONT color="green">1001</FONT>        }<a name="line.1001"></a>
<FONT color="green">1002</FONT>    <a name="line.1002"></a>
<FONT color="green">1003</FONT>        /**<a name="line.1003"></a>
<FONT color="green">1004</FONT>         * Returns a separator, in this case Token.COMMA<a name="line.1004"></a>
<FONT color="green">1005</FONT>         *<a name="line.1005"></a>
<FONT color="green">1006</FONT>         * &lt;/pre&gt;<a name="line.1006"></a>
<FONT color="green">1007</FONT>         * &lt;p&gt;<a name="line.1007"></a>
<FONT color="green">1008</FONT>         * &lt;table&gt;<a name="line.1008"></a>
<FONT color="green">1009</FONT>         *   &lt;tr&gt;<a name="line.1009"></a>
<FONT color="green">1010</FONT>         *     &lt;td valign=top&gt;<a name="line.1010"></a>
<FONT color="green">1011</FONT>         *       &lt;b&gt;Precondition&lt;/b&gt;:<a name="line.1011"></a>
<FONT color="green">1012</FONT>         *     &lt;/td&gt;<a name="line.1012"></a>
<FONT color="green">1013</FONT>         *     &lt;td valign=top&gt;<a name="line.1013"></a>
<FONT color="green">1014</FONT>         *       none<a name="line.1014"></a>
<FONT color="green">1015</FONT>         *     &lt;/td&gt;<a name="line.1015"></a>
<FONT color="green">1016</FONT>         *     &lt;td valign=top&gt;<a name="line.1016"></a>
<FONT color="green">1017</FONT>         *     &lt;/td&gt;<a name="line.1017"></a>
<FONT color="green">1018</FONT>         *   &lt;/tr&gt;<a name="line.1018"></a>
<FONT color="green">1019</FONT>         *   &lt;tr&gt;<a name="line.1019"></a>
<FONT color="green">1020</FONT>         *     &lt;td valign=top&gt;<a name="line.1020"></a>
<FONT color="green">1021</FONT>         *       &lt;b&gt;Postcondition&lt;/b&gt;:<a name="line.1021"></a>
<FONT color="green">1022</FONT>         *     &lt;/td&gt;<a name="line.1022"></a>
<FONT color="green">1023</FONT>         *     &lt;td valign=top&gt;<a name="line.1023"></a>
<FONT color="green">1024</FONT>         *       result = Token.COMMA<a name="line.1024"></a>
<FONT color="green">1025</FONT>         *     &lt;/td&gt;<a name="line.1025"></a>
<FONT color="green">1026</FONT>         *     &lt;td valign=top&gt;<a name="line.1026"></a>
<FONT color="green">1027</FONT>         *     &lt;/td&gt;<a name="line.1027"></a>
<FONT color="green">1028</FONT>         *   &lt;/tr&gt;<a name="line.1028"></a>
<FONT color="green">1029</FONT>         * &lt;/table&gt;<a name="line.1029"></a>
<FONT color="green">1030</FONT>         *<a name="line.1030"></a>
<FONT color="green">1031</FONT>         * @return a Comma token.<a name="line.1031"></a>
<FONT color="green">1032</FONT>         * @see<a name="line.1032"></a>
<FONT color="green">1033</FONT>         *   &lt;a href=<a name="line.1033"></a>
<FONT color="green">1034</FONT>         *      "../srchtml/project3/PredicateList.html#getSeparator"<a name="line.1034"></a>
<FONT color="green">1035</FONT>         *      &gt;Source Code<a name="line.1035"></a>
<FONT color="green">1036</FONT>         *   &lt;/a&gt;<a name="line.1036"></a>
<FONT color="green">1037</FONT>         */<a name="line.1037"></a>
<FONT color="green">1038</FONT>        protected Token getSeparator()<a name="line.1038"></a>
<FONT color="green">1039</FONT>        {<a name="line.1039"></a>
<FONT color="green">1040</FONT>            return Token.COMMA;<a name="line.1040"></a>
<FONT color="green">1041</FONT>        }<a name="line.1041"></a>
<FONT color="green">1042</FONT>    }<a name="line.1042"></a>




























































</PRE>
</BODY>
</HTML>
